$\forall$$A$:$\mathbb{P}$. Dec($A$) $\in$ $\mathbb{P}$